翻訳と辞書 Words near each other ・ RHJ International ・ RHKJ UAV ・ RHL (disambiguation) ・ RHLI ・ RHN ・ RHnet ・ Rho ・ Rho (disambiguation) ・ Rho Andromedae ・ Rho Aquarii ・ Rho Aquilae ・ Rho Arae ・ Rho Arietis ・ Rho Aurigae ・ Rho Boötis ・ Rho calculus ・ Rho Cancri ・ Rho Capricorni ・ Rho Cassiopeiae ・ Rho Centauri ・ Rho Cephei ・ Rho Ceti ・ Rho Chi ・ Rho Coronae Borealis ・ Rho Cygni ・ Rho Delta Chi ・ Rho Draconis ・ Rho factor ・ Rho family of GTPases ・ Rho Fiera (Milan Metro) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Rho calculus ： ウィキペディア英語版 Rho calculus The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. ==External links== *(Site dedicated to research in the rho-calculus ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Rho calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.